<html>
<head><meta charset="utf-8"><title>GitHub permissions for WG members · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html">GitHub permissions for WG members</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193914876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193914876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193914876">(Apr 14 2020 at 15:29)</a>:</h4>
<p>I was wondering if members of the WG-prioritization should have <code>triage</code> permissions on the <code>rust-lang/rust</code> repo. According to the <a href="https://help.github.com/en/github/setting-up-and-managing-organizations-and-teams/repository-permission-levels-for-an-organization" title="https://help.github.com/en/github/setting-up-and-managing-organizations-and-teams/repository-permission-levels-for-an-organization">GitHub docs</a>, it grants the following permissions:</p>
<ul>
<li>Apply labels (Useful for <code>P-*</code>, <code>I-prioritize</code>, regressions...)</li>
<li>Close, reopen, and assign all issues and pull requests (Useful for assigning people to work on issues when it is deemed necessary)</li>
<li>Apply milestones (Maybe usefull for defining release blockers?)</li>
<li>Mark duplicate issues and pull requests (Would probably be done by T-release folks)</li>
<li>Request pull request reviews (pretty much useless because we have <code>r?</code></li>
</ul>
<p>So to me the question is: should we always let leaders assign those labels, which would make sense as they "represent" the WG and are responsible for the final decisions? Or should we give those permissions to all members so everyone can do it in case leaders are AFK/unavailible, or maybe just because is isn't fun for one person to always do the work.</p>
<p>cc <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <span class="user-mention" data-user-id="125250">@Wesley Wiser</span></p>



<a name="193916156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193916156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193916156">(Apr 14 2020 at 15:37)</a>:</h4>
<p>I'd totally give this kind of access to the WG, cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="193917597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193917597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193917597">(Apr 14 2020 at 15:47)</a>:</h4>
<p>Yeah i don't see why not. Even WG-Triage has some permissions, so definitely people here should have as well <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="193922407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922407">(Apr 14 2020 at 16:23)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> can you open a PR on <code>rust-lang/team</code> about this and ping me?</p>



<a name="193922604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922604">(Apr 14 2020 at 16:24)</a>:</h4>
<p>Is it possible to manage this in <code>rust-lang/team</code>?</p>



<a name="193922632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922632">(Apr 14 2020 at 16:24)</a>:</h4>
<p>I don't see how you edit this</p>



<a name="193922709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922709">(Apr 14 2020 at 16:25)</a>:</h4>
<p><span class="user-mention" data-user-id="120823">@DPC</span> I don't see any special permission for triage <a href="https://github.com/rust-lang/team/blob/master/teams/wg-triage.toml" title="https://github.com/rust-lang/team/blob/master/teams/wg-triage.toml">https://github.com/rust-lang/team/blob/master/teams/wg-triage.toml</a></p>



<a name="193922723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922723">(Apr 14 2020 at 16:25)</a>:</h4>
<p>how is this handled?</p>



<a name="193922741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922741">(Apr 14 2020 at 16:25)</a>:</h4>
<p>Probably in the organization settings?</p>



<a name="193922752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922752">(Apr 14 2020 at 16:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/GitHub.20permissions.20for.20WG.20members/near/193922604" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/GitHub.20permissions.20for.20WG.20members/near/193922604">said</a>:</p>
<blockquote>
<p>Is it possible to manage this in <code>rust-lang/team</code>?</p>
</blockquote>
<p>yes, this is synced with github</p>



<a name="193922822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922822">(Apr 14 2020 at 16:26)</a>:</h4>
<p>It was done manually back then. Not sure if anything changes now</p>



<a name="193922855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922855">(Apr 14 2020 at 16:26)</a>:</h4>
<p>I think all the permissions of people, working groups and teams were moved to rust-lang/team</p>



<a name="193922880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922880">(Apr 14 2020 at 16:26)</a>:</h4>
<p>Even in the <a href="https://github.com/rust-lang/team/blob/master/teams/compiler.toml" title="https://github.com/rust-lang/team/blob/master/teams/compiler.toml">T-compiler</a> team I don't see any perms</p>



<a name="193922883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922883">(Apr 14 2020 at 16:26)</a>:</h4>
<p>let's have <span class="user-mention" data-user-id="121055">@Pietro Albini</span> explaining this</p>



<a name="193922906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922906">(Apr 14 2020 at 16:26)</a>:</h4>
<p>They were added in the org so that they can close prs.</p>



<a name="193922939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922939">(Apr 14 2020 at 16:27)</a>:</h4>
<p>what's really there is <a href="https://github.com/rust-lang/team/blob/master/teams/compiler.toml#L26-L27" title="https://github.com/rust-lang/team/blob/master/teams/compiler.toml#L26-L27">https://github.com/rust-lang/team/blob/master/teams/compiler.toml#L26-L27</a></p>



<a name="193922999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193922999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193922999">(Apr 14 2020 at 16:27)</a>:</h4>
<p>Compiler team is different. Because all compiler members are part of the rust org. For working group it's a different case.</p>



<a name="193923000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923000">(Apr 14 2020 at 16:27)</a>:</h4>
<p>unsure if the github perms are handled with some automation or we need to add those using Github UI</p>



<a name="193923007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923007">(Apr 14 2020 at 16:27)</a>:</h4>
<p>Yes, but this is not a perm for the GH org</p>



<a name="193923107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923107">(Apr 14 2020 at 16:28)</a>:</h4>
<p>Do we have an entry in rust-lang/team?</p>



<a name="193923118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923118">(Apr 14 2020 at 16:28)</a>:</h4>
<p>With all the members</p>



<a name="193923139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923139">(Apr 14 2020 at 16:28)</a>:</h4>
<p>For the prioritization WG? Yes</p>



<a name="193923204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923204">(Apr 14 2020 at 16:28)</a>:</h4>
<p>Then probably we have to discuss this on #infra</p>



<a name="193923253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193923253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193923253">(Apr 14 2020 at 16:29)</a>:</h4>
<p>On Discord?</p>



<a name="193924831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193924831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193924831">(Apr 14 2020 at 16:41)</a>:</h4>
<p>perms aren't managed in the team repo iirc, we should ping org owners or someone who has privilege</p>



<a name="193925053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193925053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193925053">(Apr 14 2020 at 16:42)</a>:</h4>
<p>Pietro Albini has been pinged above</p>



<a name="193925283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193925283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193925283">(Apr 14 2020 at 16:44)</a>:</h4>
<p>Then let's just wait or ping on Discord as well</p>



<a name="193927404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193927404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193927404">(Apr 14 2020 at 17:02)</a>:</h4>
<p>so</p>



<a name="193927462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193927462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193927462">(Apr 14 2020 at 17:02)</a>:</h4>
<p>the team repo manages the members of the teams, but permissions are handled in github's ui</p>



<a name="193931513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193931513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193931513">(Apr 14 2020 at 17:32)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> so can we allow <span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> team to handle issues on rust-lang/rust?</p>



<a name="193931950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193931950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193931950">(Apr 14 2020 at 17:36)</a>:</h4>
<p>gave wg-prioritization triage access to the repository</p>



<a name="193932456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/GitHub%20permissions%20for%20WG%20members/near/193932456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/GitHub.20permissions.20for.20WG.20members.html#193932456">(Apr 14 2020 at 17:40)</a>:</h4>
<p>That works, thanks!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>